Abstract model theory

Results: 937



#Item
71Software / System software / Utility software / Graph / Graph theory / Synergy

Applying the Synergy Graph Model to Human Basketball (Extended Abstract) Somchaya Liemhetcharat Yicheng Luo

Add to Reading List

Source URL: somchaya.org

Language: English - Date: 2015-05-07 00:57:24
72Algebra / Abstract algebra / Mathematics / Homological algebra / Category theory / Homotopy theory / Monoidal categories / Triangulated category / Derived category / Enriched category / Model category / Functor

On the theory of derivators Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) der

Add to Reading List

Source URL: www.math.uni-bonn.de

Language: English - Date: 2011-10-05 02:59:38
73Machine learning / Nonparametric statistics / Time series analysis / Estimation theory / Kernel density estimation / Sepp Hochreiter / Supervised learning / Linux kernel / Kernel / Estimator

Unsupervised Learning with Optimal Kernels Sepp Hochreiter and Klaus Obermayer Technische Universit¨at Berlin Abstract We investigate the optimal kernel for sample-based model selection in unsupervised learning if maxim

Add to Reading List

Source URL: www.bioinf.jku.at

Language: English - Date: 2013-01-23 02:37:15
74Mathematical finance / Financial economics / Financial markets / Portfolio optimization / Arbitrage / Capital asset pricing model / Futures contract / Forward contract / Rebalancing investments / Financial risk / Valuation / Arbitrage pricing theory

Hysteresis bands on returns, holding period and transaction costs F. Delgadoy- B. Dumasz- G.W. Puopolox Abstract In the presence of transactions costs, no matter how small, arbitrage activity does not necessarily render

Add to Reading List

Source URL: faculty.insead.edu

Language: English - Date: 2014-10-27 09:41:43
75Modal logic / Non-classical logic / Philosophical logic / Model theory / Mathematical logic / Kripke semantics / Substitution / Integration by substitution / Normal modal logic / Linear temporal logic / Dirac delta function

A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter

Add to Reading List

Source URL: www.mhelvens.net

Language: English - Date: 2012-09-02 13:47:59
76Control theory / Linear parameter-varying control / Robust control / LPV / Gain scheduling / Control system / Controller / Synthesizer / Nonlinear control

Design of Flight Controllers based on Simplified LPV model of a UAV Kannan Natesan, Da-Wei Gu, Ian Postlethwaite and Jianchi Chen Abstract—In this paper, two strategies for the design of controllers based on a simplifi

Add to Reading List

Source URL: lra.le.ac.uk

Language: English - Date: 2009-06-03 09:33:10
77Meta-ethics / Ethics / Moral psychology / Philosophy of mind / American psychologists / Moral sense theory / Morality / Moral reasoning / Moral relativism / Ethical intuitionism / Marc Hauser / Moral Minds

ANON SUBMISSION Discussion Paper: “There is No Moral Faculty” Abstract: Dewey’s ethical naturalism has provided an exemplary model for many contemporary naturalistic treatments of morality. However, in some recent

Add to Reading List

Source URL: www.american-philosophy.org

Language: English - Date: 2011-02-01 22:30:17
78Philosophy of science / Randomness / Critical thinking / Philosophy of thermal and statistical physics / Physics beyond the Standard Model / Quantum mechanics / Randomized controlled trial / Quantum gravity / Underdetermination / Entropy / Theory / Theoretical physics

Mark Addis. Categorical Abstract Model Theory and the Syntax of Scientific Theories There is a problematic discrepancy between current ways of characterising the semantics of mathematical theories and much philosophical

Add to Reading List

Source URL: www.thebsps.org

Language: English - Date: 2016-05-28 03:54:00
79Homotopy theory / Model category / Homotopical algebra / Homotopy / Higher category theory / Topology / Stable homotopy theory / Homotopy group / Homotopy type theory

Basic Notions Seminar November 2014 A brief course in model categories ABSTRACT.

Add to Reading List

Source URL: www.math.uni-bonn.de

Language: English - Date: 2014-11-09 16:34:04
80Relational model / Data management / Mathematical notation / Tuple / Type theory / Relation

Approximate Contextual Preference Scoring in Digital Libraries Kostas Stefanidis and Evaggelia Pitoura Computer Science Department, University of Ioannina, GRIoannina, Greece {kstef, pitoura}@cs.uoi.gr Abstract Th

Add to Reading List

Source URL: dmod.eu

Language: English - Date: 2013-11-27 13:39:27
UPDATE